dagger compact categories造句
例句與造句
- Dagger compact categories can be used to express and verify some fundamental quantum information processing.
- The category "'nCob "'of finite-dimensional cobordisms is a dagger compact category.
- Many ideas from Hilbert spaces, such as the no-cloning theorem, hold in general for dagger compact categories.
- According to a theorem of Selinger, the category of finite-dimensional Hilbert spaces is complete in the dagger compact category.
- Together, these underpin the interpretation of quantum mechanics in terms of category theory, and, in particular, as a dagger compact category.
- It's difficult to find dagger compact categories in a sentence. 用dagger compact categories造句挺難的
- Completeness also implies far more mundane features as well : dagger compact categories can be given a basis in the same way that a Hilbert space can have a basis.
- A "'dagger compact category "'is a dagger symmetric monoidal category \ mathbf { C } which is also compact closed, together with a relation to tie together the dagger structure to the compact structure.
- In mathematics, "'dagger compact categories "'( or "'dagger compact closed categories "') first appeared in 1989 in the work of Doplicher and Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations ( that is, Coecke's categorical quantum mechanics.
- Selinger showed that dagger compact categories admit a Joyal-Street style diagrammatic language and proved that dagger compact categories are complete with respect to finite dimensional Hilbert spaces " i . e . " an equational statement in the language of dagger compact categories holds if and only if it can be derived in the concrete category of finite dimensional Hilbert spaces and linear maps.
- Selinger showed that dagger compact categories admit a Joyal-Street style diagrammatic language and proved that dagger compact categories are complete with respect to finite dimensional Hilbert spaces " i . e . " an equational statement in the language of dagger compact categories holds if and only if it can be derived in the concrete category of finite dimensional Hilbert spaces and linear maps.
- Selinger showed that dagger compact categories admit a Joyal-Street style diagrammatic language and proved that dagger compact categories are complete with respect to finite dimensional Hilbert spaces " i . e . " an equational statement in the language of dagger compact categories holds if and only if it can be derived in the concrete category of finite dimensional Hilbert spaces and linear maps.